Firefighting as a Strategic Game

The Firefighter Problem was proposed in 1995 [25] as a deterministic discrete-time model for the spread and containment of a fire. The problem is defined on an undirected finite graph G = (V,E), where initially fire breaks out at f nodes. In each subsequent time-step, two actions occur: A certain number b of firefighters are placed on nonburning nodes, permanently protecting them from the fire. Then the fire spreads to all non-defended neighbors of the nodes on fire. Since the graph is finite, at some point each node is either on fire or saved, and thus the fire cannot spread further. One of the objectives for the problem is to place the firefighters in such a way that the number of saved nodes is maximized. The applications of the Firefighter problem reach from real fires to the spreading of diseases and the containment of floods. Furthermore, it can be used to model the spread of computer viruses or viral marketing in communication networks. Most research on the problem considers the case in which the fire starts in a single place (i.e., f = 1), and in which the budget of available firefighters per time-step is one (i.e., b = 1). So does the work in this paper too. This configuration already leads to hard problems and even in this case the problem is known to be NP-hard. ∗This work was supported by grants TIN2013-46181-C2-1-R and TIN2012-37930-C02-2 of the Spanish Ministry of Science and Innovation, and by the project SGR 2014-1034 of the Generalitat de Catalunya. †A preliminary version of this work was presented in 11th Workshop on Algorithms and Models for the Web Graph (waw’14), Beijing, China, December 2014.